1. Proof methods for modal and intuitionistic logics

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Mathématiques intuitionnistes.,Modalité (logique),Théorie de la démonstration.

رده :
QA9
.
54
M458
2010